Graph Nodes:
X1;X2;X3;X6;X8;X9;X10;X11;X12;X13

Graph Edges:
1. X1 o-> X11
2. X1 o-> X13
3. X10 <-> X12
4. X10 o-> X13
5. X11 --> X12
6. X12 <-> X13
7. X2 o-> X10
8. X2 o-> X12
9. X2 o-> X13
10. X2 o-> X6
11. X3 o-> X10
12. X3 o-> X13
13. X3 o-> X6
14. X6 o-> X10
15. X6 o-> X13
16. X6 --> X8
17. X9 o-> X10
18. X9 o-> X11
19. X9 --> X12
20. X9 o-> X13

